📏 Linear Logic

Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·18h
🔒Rust Borrowing
Highly concurrent in-memory counter in GoLang
engineering.grab.com·21h
🧠Memory Models
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·17h
🧩Constraint Solvers
Recurse Checkins
404wolf.com·20h
🔄Bootstrapping
Cactus Language • Semantics 1
inquiryintoinquiry.com·5h
📋Backus-Naur Form
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·5h·
Discuss: Hacker News
🗺️Region Inference
Event Handling: Automatic Event Bootstrapping
gitlab.com·6h·
Discuss: DEV
📡Protocol Buffers
Simple hash map in C, for learning purpose
reddit.com·10h·
Discuss: r/C_Programming
🏷️Symbol Interning
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
Design Principle: Composable Services
sleepingpotato.com·8h·
Discuss: Hacker News
🔀Control Structures
Is Odin Just a More Boring C?
dayvster.com·10h·
Discuss: Hacker News
🐹Go Internals
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Beating the L1 cache with value speculation (2021)
mazzo.li·5h·
Discuss: Lobsters
🔮Branch Predictors
New Recording on Event modelling anti-patterns from DDDEU
architecture-weekly.com·12h
🌊Reactive Languages
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·59m
⚡functional programming
Property-based testing of batch-invariant operations
mmaaz.ca·22h·
Discuss: Hacker News
🎲Property Testing
Souvenir
deprogrammaticaipsum.com·18h
🔗Weak References
Security Model: Wayland vs. Xorg in Linux
openlib.io·59m·
Discuss: Hacker News
🛡️Capability VMs
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.io·6h
💾Minimal Databases